An axiomatic treatment of synthetic domain theory is presented, in the framework of the internal logic of an arbitrary topos. We present new proofs of known facts, new equivalences between our axioms and known principles, and proofs of new facts, such as the theorem that the regular complete objects are closed under lifting . In Sections 2–4 we investigate models, and obtain independence results. In Section 2 we look at a model in de Modified realizability Topos, where the Scott Principle (...) fails, and the complete objects are not closed under lifting. Section 3 treats the standard model in the Effective Topos. Theorem 3.2 gives a new characterization of the initial lift-algebra relative to the dominance. We prove that in the standard case it is not the internal colimit of the chain 0 → L → L 2 → ⋯ . The models in Sections 2 and 3 compare via an adjunction. Section 4 discusses a model in a Grothendieck topos. A feature here is that N is not well-complete , whereas 2 is. (shrink)

Working within weak subsystems of second-order arithmetic Z2 we consider two versions of the Baire Category theorem which are not equivalent over the base system RCA0. We show that one version (B.C.T.I) is provable in RCA0 while the second version (B.C.T.II) requires a stronger system. We introduce two new subsystems of Z2, which we call RCA+ 0 and WKL+ 0, and show that RCA+ 0 suffices to prove B.C.T.II. Some model theory of WKL+ 0 and its importance in view of (...) Hilbert's program is discussed, as well as applications of our results to functional analysis. (shrink)

Using an economic bargaining game, we tested for the existence of two phenomena related to social norms, namely norm manipulation – the selection of an interpretation of the norm that best suits an individual – and norm evasion – the deliberate, private violation of a social norm. We found that the manipulation of a norm of fairness was characterized by a self-serving bias in beliefs about what constituted normatively acceptable behaviour, so that an individual who made an uneven bargaining offer (...) not only genuinely believed it was fair, but also believed that recipients found it fair, even though recipients of the offer considered it to be unfair. In contrast, norm evasion operated as a highly explicit process. When they could do so without the recipient's knowledge, individuals made uneven offers despite knowing that their behaviour was unfair. (shrink)

In the historical context of a crisis in biological psychiatry, psychedelic drugs paired with psychotherapy are globally re-emerging in research clinics as a potential transdiagnostic therapy for treating mood disorders, addictions, and other forms of psychological distress. The treatments are poised to soon shift from clinical trials to widespread service delivery in places like Australia, North America, and Europe, which has prompted ethical questions by social scientists and bioethicists. Taking a broader view, we argue that the ethics of psychedelic therapy (...) concerns not simply how psychotherapies are different when paired with psychedelic drugs, but how psychedelic therapies shape and are shaped by different values, norms, and metaphysical commitments. Drawing from the published literature and interviews with seven psychedelic therapists working in clinical trials in the United States, Germany, Switzerland, and Australia, this article opens the black box of the treatments to consider the values and informal debates currently animating the therapies. Considering questions of patient autonomy, mechanisms of therapeutic action, and which therapies are best suited to pair with psychedelic substances, we examine the ethics of psychedelic therapy as an emergent form of life. To bring this form of life out in fuller relief, we conclude by comparing and contrasting it with ayahuasca use in Amazonian shamanism. (shrink)

Graphical AbstractScience and technology consortia provide a viable solution for the recent unsustainable academic growth in biomedical research.

This is the English (and extended version) of an interview originally published in Estonian in October 2018. In the interview, Simpson summarizes a particular way of defending the practice of no-platforming. The varying appeal of different defences of the practice in different socio-historical contexts (i.e. the UK/US versus a post-Soviet country such as Estonia) is discussed also.

We show how to interpret the language of first-order set theory in an elementary topos endowed with, as extra structure, a directed structural system of inclusions (dssi). As our main result, we obtain a complete axiomatization of the intuitionistic set theory validated by all such interpretations. Since every elementary topos is equivalent to one carrying a dssi, we thus obtain a first-order set theory whose associated categories of sets are exactly the elementary toposes. In addition, we show that the full (...) axiom of Separation is validated whenever the dssi is superdirected. This gives a uniform explanation for the known facts that cocomplete and realizability toposes provide models for Intuitionistic Zermelo—Fraenkel set theory (IZF). (shrink)

We investigate a certain system of intuitionistic set theory from three points of view: an elementary set theory with bounded separation, a topos with distinguished inclusions, and a category of classes with a system of small maps. The three presentations are shown to be equivalent in a strong sense.

This paper provides a unifying axiomatic account of the interpretation of recursive types that incorporates both domain-theoretic and realizability models as concrete instances. Our approach is to view such models as full subcategories of categorical models of intuitionistic set theory. It is shown that the existence of solutions to recursive domain equations depends upon the strength of the set theory. We observe that the internal set theory of an elementary topos is not strong enough to guarantee their existence. In contrast, (...) as our first main result, we establish that solutions to recursive domain equations do exist when the category of sets is a model of full intuitionistic Zermelo–Fraenkel set theory. We then apply this result to obtain a denotational interpretation of FPC, a recursively typed lambda-calculus with call-by-value operational semantics. By exploiting the intuitionistic logic of the ambient model of intuitionistic set theory, we analyse the relationship between operational and denotational semantics. We first prove an “internal” computational adequacy theorem: the model always believes that the operational and denotational notions of termination agree. This allows us to identify, as our second main result, a necessary and sufficient condition for genuine “external” computational adequacy to hold, i.e. for the operational and denotational notions of termination to coincide in the real world. The condition is formulated as a simple property of the internal logic, related to the logical notion of 1-consistency. We provide useful sufficient conditions for establishing that the logical property holds in practice. Finally, we outline how the methods of the paper may be applied to concrete models of FPC. In doing so, we obtain computational adequacy results for an extensive range of realizability and domain-theoretic models. (shrink)

We prove two embedding and extension theorems in the context of the constructive theory of metric spaces. The first states that Cantor space embeds in any inhabited complete separable metric space without isolated points, X, in such a way that every sequentially continuous function from Cantor space to ℤ extends to a sequentially continuous function from X to ℝ. The second asserts an analogous property for Baire space relative to any inhabited locally non-compact CSM. Both results rely on having careful (...) constructive formulations of the concepts involved.As a first application, we derive new relationships between “continuity principles” asserting that all functions between specified metric spaces are pointwise continuous. In particular, we give conditions that imply the failure of the continuity principle “all functions from X to ℝ are continuous”, when X is an inhabited CSM without isolated points, and when X is an inhabited locally non-compact CSM. One situation in which the latter case applies is in models based on “domain realizability”, in which the failure of the continuity principle for any inhabited locally non-compact CSM, X, generalizes a result previously obtained by Escardó and Streicher in the special case X = C[0, 1].As a second application, we show that, when the notion of inhabited complete separable metric space without isolated points is interpreted in a recursion-theoretic setting, then, for any such space X, there exists a Banach-Mazur computable function from X to the computable real numbers that is not Markov computable. This generalizes a result obtained by Hertling in the special case that X is the space of computable real numbers. (shrink)

We prove two embedding and extension theorems in the context of the constructive theory of metric spaces. The first states that Cantor space embeds in any inhabited complete separable metric space (CSM) without isolated points, X, in such a way that every sequentially continuous function from Cantor space to ℤ extends to a sequentially continuous function from X to ℝ. The second asserts an analogous property for Baire space relative to any inhabited locally non‐compact CSM. Both results rely on having (...) careful constructive formulations of the concepts involved.As a first application, we derive new relationships between “continuity principles” asserting that all functions between specified metric spaces are pointwise continuous. In particular, we give conditions that imply the failure of the continuity principle “all functions from X to ℝ are continuous”, when X is an inhabited CSM without isolated points, and when X is an inhabited locally non‐compact CSM. One situation in which the latter case applies is in models based on “domain realizability”, in which the failure of the continuity principle for any inhabited locally non‐compact CSM, X, generalizes a result previously obtained by Escardó and Streicher in the special case X = C[0, 1].As a second application, we show that, when the notion of inhabited complete separable metric space without isolated points is interpreted in a recursion‐theoretic setting, then, for any such space X, there exists a Banach‐Mazur computable function from X to the computable real numbers that is not Markov computable. This generalizes a result obtained by Hertling in the special case that X is the space of computable real numbers. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim). (shrink)

We prove two embedding and extension theorems in the context of the constructive theory of metric spaces. The first states that Cantor space embeds in any inhabited complete separable metric space (CSM) without isolated points, X, in such a way that every sequentially continuous function from Cantor space to ℤ extends to a sequentially continuous function from X to ℝ. The second asserts an analogous property for Baire space relative to any inhabited locally non‐compact CSM. Both results rely on having (...) careful constructive formulations of the concepts involved.As a first application, we derive new relationships between “continuity principles” asserting that all functions between specified metric spaces are pointwise continuous. In particular, we give conditions that imply the failure of the continuity principle “all functions from X to ℝ are continuous”, when X is an inhabited CSM without isolated points, and when X is an inhabited locally non‐compact CSM. One situation in which the latter case applies is in models based on “domain realizability”, in which the failure of the continuity principle for any inhabited locally non‐compact CSM, X, generalizes a result previously obtained by Escardó and Streicher in the special case X = C[0, 1].As a second application, we show that, when the notion of inhabited complete separable metric space without isolated points is interpreted in a recursion‐theoretic setting, then, for any such space X, there exists a Banach‐Mazur computable function from X to the computable real numbers that is not Markov computable. This generalizes a result obtained by Hertling in the special case that X is the space of computable real numbers. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim). (shrink)

This paper investigates aspects of measure and randomness in the context of locale theory . We prove that every measure μ, on the σ-frame of opens of a fitted σ-locale X, extends to a measure on the lattice of all σ-sublocales of X . Furthermore, when μ is a finite measure with μ=M, the σ-locale X has a smallest σ-sublocale of measure M . In particular, when μ is a probability measure, X has a smallest σ-sublocale of measure 1. All (...) σ prefixes can be dropped from these statements whenever X is a strongly Lindelöf locale, as is the case in the following applications. When μ is the Lebesgue measure on the Euclidean space Rn, Theorem 1 produces an isometry-invariant measure that, via the inclusion of the powerset P in the lattice of sublocales, assigns a weight to every subset of Rn. When μ is the uniform probability measure on Cantor space {0,1}ω, the smallest measure-1 sublocale, given by Theorem 2, provides a canonical locale of random sequences, where randomness means that all probabilistic laws are satisfied. (shrink)

Continuing the investigations of X. Yu and others, we study the role of set existence axioms in classical Lebesgue measure theory. We show that pairwise disjoint countable additivity for open sets of reals is provable in RCA0. We show that several well-known measure-theoretic propositions including the Vitali Covering Theorem are equivalent to WWKL over RCA0.

This paper presents an implemented computational model of word acquisition which learns directly from raw multimodal sensory input. Set in an information theoretic framework, the model acquires a lexicon by finding and statistically modeling consistent cross‐modal structure. The model has been implemented in a system using novel speech processing, computer vision, and machine learning algorithms. In evaluations the model successfully performed speech segmentation, word discovery and visual categorization from spontaneous infant‐directed speech paired with video images of single objects. These results (...) demonstrate the possibility of using state‐of‐the‐art techniques from sensory pattern recognition and machine learning to implement cognitive models which can process raw sensor data without the need for human transcription or labeling. (shrink)

Objective: There is a demonstrated link between the mental health and substance use comorbidities experienced by young adults, however the vast majority of psychological interventions are disorder specific. Novel psychological approaches that adequately acknowledge the psychosocial complexity and transdiagnostic needs of vulnerable young people are urgently needed. A modular skills-based program for emotion regulation and impulse control addresses this gap. The current one armed open trial was designed to evaluate the impact that 12 weeks exposure to ERIC alongside usual care (...) had on young people's ability to regulate emotions, as well as examine potential moderating mechanisms.Methods: Seventy nine young people were enrolled to the 12 week intervention period. Twenty one practitioners from youth and community health services delivered relevant ERIC modules adjunct to usual care. Linear mixed effects regression was used to examine change over time across the primary outcome of emotion dysregulation and secondary outcomes of depression, anxiety, stress, experiential avoidance and mindfulness. Moderation analyses were conducted to test whether the magnitude of change in emotion dysregulation moderated change over time in secondary outcomes.Results: Analyses revealed significant improvement in the primary outcome of emotion dysregulation with a moderate effect size, in addition to decreases in the secondary outcomes of depression, anxiety, stress and experiential avoidance. No improvements in mindfulness were reported. Moderation analyses revealed that the residualised change over time in emotion dysregulation moderated the change over time in symptoms of distress, depression, anxiety, stress, experiential avoidance, and mindfulness.Conclusion: Reductions in the severity of emotion dysregulation, depression, anxiety, stress and experiential avoidance are promising, and were evident despite the complexity of the participants and the diversity of the service setting. The improvements found in each outcome were only observed for those young people whose emotion regulation also improved, providing preliminary evidence for the role of emotion regulation as a key treatment target in this population. (shrink)

Virtue ethics is regarded as the key in search of moral excellence among corporations. Yet, there are limited works to empirically investigate what virtuous character morally good corporations is expected to exhibit in the course of business from the perspective of customers. To fill this gap, we argue that customers are to evaluate firm’s virtuous character using Confucian cardinal virtues (ren, yi, and li) and perceived virtuousness determines customer loyalty. We test this argument using a sample of 276 Hong Kong (...) Chinese. The result suggests that a corporation not only has to offer a good value and high quality to customers but also needs to develop and acquire virtuous character in retaining customer loyalty. Firm has to embrace ren, yi, and li as the primary business goal. In fact, they are not the means but the end in themselves. The continuous pursuit of these cardinal virtues at the firm level not only establishes proper corporate values but also enables a firm to act morally in the course of business. Such kind of firm is known as junzi corporation. (shrink)

Background: People with traumatic brain injury face a range of mental health challenges during the adjustment process post-injury, but access to treatment can be difficult, particularly for those who live in regional and remote regions. eHealth provides the potential to improve access to evidence-based psychological therapy for people with a severe TBI. The aim of the current study is to assess the efficacy of a psychological intervention delivered via video consulting to reduce psychological distress in people with TBI.Methods: This paper (...) outlines the protocol for a multi-center, three-arm, parallel, non-inferiority randomized controlled trial of an evidence-based manualized psychological intervention, ACT-Adjust. ACT-Adjust provides nine sessions for adults with a moderate to severe TBI experiencing clinical levels of psychological distress. Fifty-six participants referred from Brain Injury Rehabilitation Units across New South Wales and the NSW icare scheme will be randomly allocated to three conditions; video consulting, face-to-face and, a waitlist control.Discussion: This is the first RCT to evaluate the efficacy of a psychological therapy delivered via video consulting for individuals with a moderate to severe TBI.Trial Registration:www.anzctr.org.au, Australian New Zealand Clinical Trials Registry ANZCTRN2619001602112. (shrink)

As a starting point, Clegg, Murphy, and Almack contend that frameworks of policy fail both to engage with ethical theory and to fit with the complex realities of how services are delivered. Both of these points are well-supported both in their engagement with literature and in the research presented. Their Deleuzoguattarian analysis and Deleuzean ethical alternatives provide fresh and challenging insights. The key question in this rejoinder is whether their critique goes too far, or not far enough. To begin, however, (...) it is worth making a comment on terminology. Clegg et al. begin with a passing comment to the effect that ‘intellectual disability’ was ‘formerly learning disability in the UK and... (shrink)

The American Journal of Bioethics, Volume 11, Issue 6, Page 55-57, June 2011.

Potential conflicts between the roles of physicians and researchers have been described at the theoretical level in the bioethics literature (Czoli, et al., 2011). Physicians and researchers are generally in mutually distinct roles, responsible for patients and participants respectively. With increasing emphasis on integration of research into clinical settings, however, the role divide is sometimes unclear. Consequently, physician–researchers must consider and negotiate salient ethical differences between clinical– and research–based obligations (Miller et al, 1998). This paper explores the subjective experiences and (...) perspectives of 30 physician–researchers working in three Canadian paediatric settings. Drawing on qualitative interviews, it identifies ethical challenges and strategies used by physician–researchers in managing dual roles. It considers whether competing obligations could have both positive and adverse consequences for both physician–researchers and patients. Finally, we discuss how empirical work, which explores the perspectives of those engaged in research and clinical practice, can lead the way to understanding and promoting best practice. (shrink)

The fourteen authors in this collection used phenomenology and hermeneutics to conduct deep inquiry into perplexing and wondrous events in their work and personal lives. These seasoned scholar-practitioners gained remarkable insight into areas such as health care and illness, organ donation, intercultural communications, high-performance teams, artistic production, jazz improvisation, and the integration of Tai Chi into education. All authors were transformed by phenomenology's expanded ways of seeing and being.

Legal, medical, and public health professionals have been complicit in creating and maintaining systems that drive health inequities. To ameliorate this, current and future leaders in law, medicine, and public health must learn about racism and its impact along the life course trajectory and how to engage in antiracist practice and health equity work.

In this work, we propose a variant of so-called informational semantics, a technique elaborated by Voishvillo, for two infectious logics, Deutsch’s |${\mathbf{S}_{\mathbf{fde}}}$| and Szmuc’s |$\mathbf{dS}_{\mathbf{fde}}$|⁠. We show how the machinery of informational semantics can be effectively used to analyse truth and falsity conditions of disjunction and conjunction. Using this technique, it is possible to claim that disjunction and conjunction can be rightfully regarded as such, a claim which was disputed in the recent literature. Both |${\mathbf{S}_{\mathbf{fde}}}$| and |$\mathbf{dS}_{\mathbf{fde}}$| are formalized in (...) terms of natural deduction. This allows us to solve several problems: to develop a natural deduction calculus for |${\mathbf{S}_{\mathbf{fde}}}$| containing the standard form of disjunction elimination (in contrast to the calculus by Petrukhin), to introduce the first natural deduction calculus for |$\mathbf{dS}_{\mathbf{fde}}$| and to reflect the fundamental symmetry between |${\mathbf{S}_{\mathbf{fde}}}$| and |$\mathbf{dS}_{\mathbf{fde}}$| on proof-theoretical level forming a convenient basis for obtaining their well-known extensions |$\mathbf{K}^{\mathbf{w}}_{\mathbf{3}}$| and |$\mathbf{PWK}$|⁠. (shrink)

What does the world's engagement with the unfolding crisis in Darfur tell us about the impact of the Iraq war on the norm of humanitarian intervention? Is a global consensus about a “responsibility to protect” more or less likely? There are at least three potential answers to these questions. Some argue that the merging of strategic interests and humanitarian goods amplified by the intervention in Afghanistan makes it more likely that the world's most powerful states will act to prevent or (...) halt humanitarian crises. Others insist that the widespread perception that the United States and its allies “abused” humanitarian justifications to legitimate its invasion of Iraq has set back efforts to build a global consensus about humanitarian action. A third group argues that the “responsibility to protect” inhibits the potential for abuse and, as a result, consensus is likely to strengthen post-Iraq for precisely this reason. Through a detailed study of the international engagement with Darfur, I suggest that the latter two arguments have merit but need to be adjusted. I argue that the humanitarian intervention norm has changed in two subtle ways. First, while the strength of the norm itself has not changed, the credibility of the United States and U.K. as “norm carriers” has been significantly undermined. Second, while the “responsibility to protect” has been invoked to support international activism, it has also re-legitimated anti-interventionist arguments. (shrink)